- 双语例句 更多例句
为了研究数据库中的函数依赖性,我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
互联网摘选
它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。
互联网摘选
Multi-paradigm Based Instruction Assistant System for Formal Semantics Course
基于多语言范例的形式语义学教学辅助系统
互联网摘选
However, its lack of rigor and formal semantics prevents it further developing.
但uml没有精确的、形式化的语义阻碍了它的进一步发展.
网络文摘精选
- 相关词组
- verb semantics动词语义学;
- final semantics[计]最终语义学;
- formal education形式教育;正式教育;
- formal organization正式组织;
- logic semantics[计]逻辑语义学;
- formal algebra形式代数;
- world semantics[计] 世界语义学;
- formal wear正装;
- query semantics[计]查询语义学;
- formal application正式申请;
- formal dressn.礼服;大礼服;
- tree semantics[计]树状语义学;
- formal agreement正式协议;
- body semantics体态语义学;手势语义学;
- formal sitting隆重开会;
- trace semantics[计]轨迹语义学;
- formal attire礼服;
- formal note正式照会;
- data semantics[计]数据语义学;
- fault semantics[计]故障语义学;
- 今日热词
- 热门搜索
- decorate v.装饰;装潢;粉刷;糊墙纸;装点;美化;授予勋章;
- sincere adj. 真诚的,诚挚的;〈古〉纯粹的,不掺假的;真心实意的;真实的;
- burn-up n.烧毁;燃耗;烧尽;
- flee v.迅速离开;逃离;
- 甲流 swine flu;swine flu
- rug n.小块地毯;〈英〉(围盖膝的)围毯,车毯;〈美俚男子假发;
- get over it 克服它;共渡难关;[电影]失恋大不同;
- epic n. 叙事诗;史诗;史诗般的作品;adj. 史诗般的,叙事诗的;宏大的,壮丽的,英雄的;
- deep search 深度搜索;深层搜索
- fz abbr.frozen 冻结的;freezing 结冰;freeze 结冰;forzando (Italian=with sudden emphasis) (意大利语)强调;
- crocs n.卡路驰;卡骆驰;克洛克斯(鞋子品牌);
- saddle n.马鞍;(自行车或摩托车的)车座;鞍形架,鞍状物;(动物的)脊肉;vt.& vi.给(马)装鞍;
